syllogistic normal form
演绎推理范式
热门查询
- dunne 邓恩（姓氏）
- splatter n. 飞溅 vt. 结结巴巴地讲；使水等飞溅 vi. 结结巴巴地说话；溅泼
- majorette n. 鼓手队长；军乐队队长或指挥
- michael n. 迈克尔（男子名）
- extraterrestrial n. 天外来客 adj. 地球外的
- breathtaking adj. 惊人的；惊险的；令人激动的
- snowball n. 雪球 vt. 向…掷雪球；使滚雪球般增大 vi. 掷雪球；滚雪球般增大 n. (Snowball)人名；(英)斯诺博尔
- bethel n. 圣地；礼拜堂；非国教徒的教堂 n. (Bethel)人名；(德)贝特尔；(英、西)贝瑟尔
- fatigability n. 易疲劳性
- limbo n. 监狱；地狱的边境；放置丢弃物的场所；处于中间的或不定的状态 n. (Limbo)人名；(纳米)林博
- doornail n. 门钉，大头钉子
- shafted adj. 有箭杆的；有柄的；有羽轴的 v. 给…装杆；撑船（shaft的过去式和过去分词）
- Thorp n. 村庄，小乡镇
- struggle n. 努力，奋斗；竞争 vt. 使劲移动；尽力使得 vi. 奋斗，努力；挣扎
- recirculation n. 再循环，信息再循环；再流通
- hideously adv. 可怕地；非常讨厌地；荒谬可笑地
- divisional adj. 分区的；分割的
- maser n. [电子] 微波激射器；分子增幅器 n. (Maser)人名；(德)马泽尔
- glucose n. 葡萄糖；葡糖（等于dextrose）
- tinware n. 洋铁细工；锡器（马口铁器皿）
